Schwind, Camilla B.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Conditional logic of actions and causation

Laura Giordano, Camilla Schwind

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 435 KB

english, 2004

2

An intelligent language tutoring system

Camilla B. Schwind

Journal:

International Journal of Man-Machine Studies

Year:

1990

Language:

english

File:

PDF, 1.31 MB

english, 1990

3

ERROR ANALYSIS AND EXPLANATION IN KNOWLEDGE BASED LANGUAGE TUTORING

Schwind, Camilla B.

Journal:

Computer Assisted Language Learning

Year:

1995

Language:

english

File:

PDF, 1.40 MB

english, 1995

4

A sequent calculus and a theorem prover for standard conditional logics

Olivetti, Nicola, Pozzato, Gian Luca, Schwind, Camilla B.

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 660 KB

english, 2007

5

Semantic trees for natural language representation

Camilla B. Schwind

Journal:

Information Processing & Management

Year:

1983

Language:

english

File:

PDF, 922 KB

english, 1983

6

Modal logic based theory for non-monotonic reasoning

Siegel, Pierre, Schwind, Camilla

Journal:

Journal of Applied Non-Classical Logics

Year:

1993

Language:

english

File:

PDF, 1.02 MB

english, 1993

7

Revision and action

Camilla B. Schwind

Journal:

International Journal of Intelligent Systems

Year:

1994

Language:

english

File:

PDF, 514 KB

english, 1994

8

Specialization of Interaction Protocols in a Temporal Action Logic

Laura Giordano, Alberto Martelli, Camilla Schwind

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 325 KB

english, 2006

9

Specifying and verifying interaction protocols in a temporal action logic

Laura Giordano, Alberto Martelli, Camilla Schwind

Journal:

Journal of Applied Logic

Year:

2007

Language:

english

File:

PDF, 239 KB

english, 2007

10

Graded hypothesis theories

Philippe Chatalic, Christine Froidevaux, Camilla Schwind

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.48 MB

english, 1997

11

Tableau-based characterization and theorem proving for default logic

Vincent Risch, Camilla B. Schwind

Journal:

Journal of Automated Reasoning

Year:

1994

Language:

english

File:

PDF, 1.13 MB

english, 1994

12

Feature grammars for semantic analysis

Camilla B. Schwind

Journal:

Computational Intelligence

Year:

1990

Language:

english

File:

PDF, 601 KB

english, 1990

13

Embedding deductive capabilities in relational database systems

Camilla B. Schwind

Journal:

International Journal of Parallel Programming

Year:

1984

Language:

english

File:

PDF, 525 KB

english, 1984

14

Automatic, semantics-based indexing of natural language texts for information retrieval systems

Stephan Braun, Camilla Schwind

Journal:

Information Processing & Management

Year:

1976

Language:

english

File:

PDF, 908 KB

english, 1976

15

[IEEE 2011 Seventh International Conference on Computational Intelligence and Security (CIS) - Sanya, Hainan, China (2011.12.3-2011.12.4)] 2011 Seventh International Conference on Computational Intelligence and Security - Belief Base Change on Implicant Sets: How to Give Up Elements of a Belief Based on Literal Level

Schwind, Camilla

Year:

2011

Language:

english

File:

PDF, 178 KB

english, 2011

16

Tableau calculus for preference-based conditional logics

Giordano, Laura, Gliozzi, Valentina, Olivetti, Nicola, Schwind, Camilla

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 746 KB

english, 2009